Esterel Technologies - PDFSEARCH.IO - Document Search Engine

Esterel Technologies
Results: 35

#	Item
31	Tool Qualification in Multiple Domains: Status and Perspectives Author(s): Jean-Louis CAMUS (Esterel Technologies), Michael P DEWALT, (Federal Aviation Administration) Frédéric POTHON (ACG Solutions), Gérard LADIER, ( Add to Reading List Source URL: www.erts2014.org Language: English - Date: 2014-01-10 03:50:05 Embedded systems Software requirements Evaluation Computing Systems engineering DO-178B DO-178C IEC 61508 Verification Safety Software development Avionics
32	6th European Congress EMBEDDED REAL TIME SOFTWARE AND SYSTEMS 1-3 February[removed]Toulouse, France Centre de Congrès Pierre Baudis Add to Reading List Source URL: www.erts2012.org Language: English - Date: 2012-01-17 04:54:00 Software architecture Automotive software EADS AUTOSAR Antoine de Saint-Exupéry Concorde Ariane Airbus Esterel Technologies Transport Aviation Spaceflight
33	Timing constraints and symbolic execution for a hybrid synchronous language Timothy Bourke and Marc Pouzet November 1, 2013 Recent work in the Inria/ENS team Parkas, in collaboration with Esterel Technologies, the develo Add to Reading List Source URL: www.di.ens.fr Language: English - Date: 2013-12-15 06:16:55 Computer science Differential equations Model checkers Automata theory Simulation software Model checking SIGNAL Uppaal Model Checker Hybrid automaton Computing Formal methods Theoretical computer science
34 $Electronic Communications of the EASST No \volume defined! No \volumetitle defined! Verification of Railway Interlockings in Scade$	Electronic Communications of the EASST No \volume defined! No \volumetitle defined! Verification of Railway Interlockings in Scade Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2012-10-25 14:18:24 Science Formal methods Technology Formal sciences Esterel Technologies Railway signalling Lustre Interlocking Model checking Hardware description languages Synchronous programming languages Electronic engineering
35	PDF Document Add to Reading List Source URL: www.deeds.informatik.tu-darmstadt.de Language: English - Date: 2012-03-01 03:11:47 Computing Software Visual programming languages Hardware description languages Synchronous programming languages Esterel Technologies VIATRA Model-driven engineering Simulink Unified Modeling Language Systems engineering Software engineering